The Need for a Weaving Model in Assurance Case Automation

In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-based approach, model weaving, provides an excellent mechanism for modelling the correspondences that exist between models and discuss how model weaving can be applied in the context of assurance cases.